Extensions 1→N→G→Q→1 with N=C₄xD₄ and Q=C₂²

Direct product G=NxQ with N=C₄xD₄ and Q=C₂²

		d	ρ	Label	ID
D₄xC₂²xC₄		64		D4xC2^2xC4	128,2154

Semidirect products G=N:Q with N=C₄xD₄ and Q=C₂²

extension	φ:Q→Out N	d	Label	ID
(C₄xD₄):₁C₂² = C₄².₂₇₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):1C2^2	128,1678
(C₄xD₄):₂C₂² = C₄².₂₇₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):2C2^2	128,1680
(C₄xD₄):₃C₂² = C₄².₁₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):3C2^2	128,1773
(C₄xD₄):₄C₂² = C₄².₁₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):4C2^2	128,1777
(C₄xD₄):₅C₂² = C₄².₂₂₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):5C2^2	128,1832
(C₄xD₄):₆C₂² = C₄².₂₂₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):6C2^2	128,1837
(C₄xD₄):₇C₂² = C₄².₂₂₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):7C2^2	128,1841
(C₄xD₄):₈C₂² = C₄².₂₃₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):8C2^2	128,1846
(C₄xD₄):₉C₂² = C₄².₃₅₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):9C2^2	128,1850
(C₄xD₄):₁₀C₂² = C₄².₃₅₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):10C2^2	128,1854
(C₄xD₄):₁₁C₂² = C₄².₂₆₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):11C2^2	128,1937
(C₄xD₄):₁₂C₂² = C₄².₂₆₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):12C2^2	128,1943
(C₄xD₄):₁₃C₂² = C₄².₂₇₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):13C2^2	128,1945
(C₄xD₄):₁₄C₂² = C₄².₂₇₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):14C2^2	128,1949
(C₄xD₄):₁₅C₂² = C₄².₄₀₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):15C2^2	128,1952
(C₄xD₄):₁₆C₂² = C₄².₄₁₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):16C2^2	128,1956
(C₄xD₄):₁₇C₂² = D₈:₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):17C2^2	128,1996
(C₄xD₄):₁₈C₂² = D₈:₁₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):18C2^2	128,1999
(C₄xD₄):₁₉C₂² = D₈:₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):19C2^2	128,2004
(C₄xD₄):₂₀C₂² = D₈:₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):20C2^2	128,2005
(C₄xD₄):₂₁C₂² = D₄xD₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):21C2^2	128,2011
(C₄xD₄):₂₂C₂² = D₈:₁₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):22C2^2	128,2012
(C₄xD₄):₂₃C₂² = D₄:₄D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):23C2^2	128,2026
(C₄xD₄):₂₄C₂² = C₄².₄₆₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):24C2^2	128,2029
(C₄xD₄):₂₅C₂² = C₄².₄₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):25C2^2	128,2038
(C₄xD₄):₂₆C₂² = C₄².₅₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):26C2^2	128,2050
(C₄xD₄):₂₇C₂² = C₄².₅₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):27C2^2	128,2051
(C₄xD₄):₂₈C₂² = C₄².₄₇₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):28C2^2	128,2054
(C₄xD₄):₂₉C₂² = C₄².₄₇₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):29C2^2	128,2057
(C₄xD₄):₃₀C₂² = C₂².₃₈C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):30C2^2	128,2181
(C₄xD₄):₃₁C₂² = C₂².₆₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):31C2^2	128,2207
(C₄xD₄):₃₂C₂² = C₂².₇₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	16	(C4xD4):32C2^2	128,2216
(C₄xD₄):₃₃C₂² = C₂².₇₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):33C2^2	128,2217
(C₄xD₄):₃₄C₂² = C₂².₇₆C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):34C2^2	128,2219
(C₄xD₄):₃₅C₂² = C₂².₇₇C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):35C2^2	128,2220
(C₄xD₄):₃₆C₂² = C₂².₇₈C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):36C2^2	128,2221
(C₄xD₄):₃₇C₂² = C₂².₇₉C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	16	(C4xD4):37C2^2	128,2222
(C₄xD₄):₃₈C₂² = C₂².₈₀C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):38C2^2	128,2223
(C₄xD₄):₃₉C₂² = C₂².₈₁C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):39C2^2	128,2224
(C₄xD₄):₄₀C₂² = C₂².₈₂C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):40C2^2	128,2225
(C₄xD₄):₄₁C₂² = C₂².₈₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):41C2^2	128,2226
(C₄xD₄):₄₂C₂² = C₂².₈₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):42C2^2	128,2227
(C₄xD₄):₄₃C₂² = C₄:2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):43C2^2	128,2228
(C₄xD₄):₄₄C₂² = C₂².₈₇C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):44C2^2	128,2230
(C₄xD₄):₄₅C₂² = C₂².₈₉C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):45C2^2	128,2232
(C₄xD₄):₄₆C₂² = C₂².₉₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):46C2^2	128,2237
(C₄xD₄):₄₇C₂² = C₂².₉₅C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):47C2^2	128,2238
(C₄xD₄):₄₈C₂² = C₂².₉₇C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):48C2^2	128,2240
(C₄xD₄):₄₉C₂² = C₂².₉₉C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):49C2^2	128,2242
(C₄xD₄):₅₀C₂² = C₂².₁₀₂C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):50C2^2	128,2245
(C₄xD₄):₅₁C₂² = C₂².₁₀₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):51C2^2	128,2246
(C₄xD₄):₅₂C₂² = C₂².₁₀₈C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):52C2^2	128,2251
(C₄xD₄):₅₃C₂² = C₂³.₁₄₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):53C2^2	128,2252
(C₄xD₄):₅₄C₂² = C₂².₁₁₀C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):54C2^2	128,2253
(C₄xD₄):₅₅C₂² = C₂².₁₁₈C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):55C2^2	128,2261
(C₄xD₄):₅₆C₂² = C₄²:C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	16	(C4xD4):56C2^2	128,2264
(C₄xD₄):₅₇C₂² = C₂².₁₂₂C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):57C2^2	128,2265
(C₄xD₄):₅₈C₂² = C₂².₁₂₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):58C2^2	128,2266
(C₄xD₄):₅₉C₂² = C₂².₁₂₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):59C2^2	128,2267
(C₄xD₄):₆₀C₂² = C₂².₁₂₅C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):60C2^2	128,2268
(C₄xD₄):₆₁C₂² = C₂².₁₂₆C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):61C2^2	128,2269
(C₄xD₄):₆₂C₂² = C₂².₁₂₈C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):62C2^2	128,2271
(C₄xD₄):₆₃C₂² = C₂².₁₂₉C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):63C2^2	128,2272
(C₄xD₄):₆₄C₂² = C₂².₁₃₀C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):64C2^2	128,2273
(C₄xD₄):₆₅C₂² = C₂².₁₃₁C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):65C2^2	128,2274
(C₄xD₄):₆₆C₂² = C₂².₁₃₂C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):66C2^2	128,2275
(C₄xD₄):₆₇C₂² = C₂².₁₃₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):67C2^2	128,2277
(C₄xD₄):₆₈C₂² = C₂².₁₃₅C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):68C2^2	128,2278
(C₄xD₄):₆₉C₂² = C₂².₁₃₈C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):69C2^2	128,2281
(C₄xD₄):₇₀C₂² = C₂².₁₄₀C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):70C2^2	128,2283
(C₄xD₄):₇₁C₂² = C₂².₁₄₇C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):71C2^2	128,2290
(C₄xD₄):₇₂C₂² = C₂².₁₄₉C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):72C2^2	128,2292
(C₄xD₄):₇₃C₂² = C₂².₁₅₀C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):73C2^2	128,2293
(C₄xD₄):₇₄C₂² = C₂².₁₅₁C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):74C2^2	128,2294
(C₄xD₄):₇₅C₂² = C₂².₁₅₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):75C2^2	128,2296
(C₄xD₄):₇₆C₂² = C₂².₁₅₅C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):76C2^2	128,2298
(C₄xD₄):₇₇C₂² = C₂².₁₅₇C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4):77C2^2	128,2300
(C₄xD₄):₇₈C₂² = C₂xC₄xD₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):78C2^2	128,1668
(C₄xD₄):₇₉C₂² = C₂xD₈:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):79C2^2	128,1674
(C₄xD₄):₈₀C₂² = C₄xC₈:C₂²	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):80C2^2	128,1676
(C₄xD₄):₈₁C₂² = C₂xC₄:D₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):81C2^2	128,1761
(C₄xD₄):₈₂C₂² = C₂xD₄.₂D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):82C2^2	128,1763
(C₄xD₄):₈₃C₂² = C₄².₄₄₄D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):83C2^2	128,1770
(C₄xD₄):₈₄C₂² = C₄².₄₄₆D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):84C2^2	128,1772
(C₄xD₄):₈₅C₂² = C₂xC₂².₁₁C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):85C2^2	128,2157
(C₄xD₄):₈₆C₂² = C₂xC₂³.₃₃C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):86C2^2	128,2159
(C₄xD₄):₈₇C₂² = C₂².₁₄C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):87C2^2	128,2160
(C₄xD₄):₈₈C₂² = C₄x2₊¹⁺⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):88C2^2	128,2161
(C₄xD₄):₈₉C₂² = C₂xC₂².₁₉C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):89C2^2	128,2167
(C₄xD₄):₉₀C₂² = C₂xC₂³.₃₆C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):90C2^2	128,2171
(C₄xD₄):₉₁C₂² = C₂xC₂².₂₆C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):91C2^2	128,2174
(C₄xD₄):₉₂C₂² = C₂².₃₃C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):92C2^2	128,2176
(C₄xD₄):₉₃C₂² = C₂xC₂².₃₂C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):93C2^2	128,2182
(C₄xD₄):₉₄C₂² = C₂xC₂².₃₃C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):94C2^2	128,2183
(C₄xD₄):₉₅C₂² = C₂xC₂².₃₄C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):95C2^2	128,2184
(C₄xD₄):₉₆C₂² = C₂xC₂².₃₆C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):96C2^2	128,2186
(C₄xD₄):₉₇C₂² = C₂².₄₄C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):97C2^2	128,2187
(C₄xD₄):₉₈C₂² = C₂².₄₈C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):98C2^2	128,2191
(C₄xD₄):₉₉C₂² = C₂².₄₉C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):99C2^2	128,2192
(C₄xD₄):₁₀₀C₂² = C₂xD₄²	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):100C2^2	128,2194
(C₄xD₄):₁₀₁C₂² = C₂xD₄:₅D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):101C2^2	128,2195
(C₄xD₄):₁₀₂C₂² = C₂xD₄:₆D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):102C2^2	128,2196
(C₄xD₄):₁₀₃C₂² = C₂xQ₈:₅D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):103C2^2	128,2197
(C₄xD₄):₁₀₄C₂² = C₂xQ₈:₆D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):104C2^2	128,2199
(C₄xD₄):₁₀₅C₂² = D₄xC₄oD₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):105C2^2	128,2200
(C₄xD₄):₁₀₆C₂² = C₂xC₂².₄₅C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):106C2^2	128,2201
(C₄xD₄):₁₀₇C₂² = C₂xC₂².₄₇C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):107C2^2	128,2203
(C₄xD₄):₁₀₈C₂² = C₂xC₂².₄₉C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):108C2^2	128,2205
(C₄xD₄):₁₀₉C₂² = C₂xC₂².₅₃C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4):109C2^2	128,2211
(C₄xD₄):₁₁₀C₂² = C₂².₇₀C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4):110C2^2	128,2213
(C₄xD₄):₁₁₁C₂² = C₂xC₄xC₄oD₄	φ: trivial image	64	(C4xD4):111C2^2	128,2156

Non-split extensions G=N.Q with N=C₄xD₄ and Q=C₂²

extension	φ:Q→Out N	d	Label	ID
(C₄xD₄).₁C₂² = C₄².₄₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).1C2^2	128,212
(C₄xD₄).₂C₂² = C₄².₃₇₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).2C2^2	128,214
(C₄xD₄).₃C₂² = C₄².₄₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).3C2^2	128,215
(C₄xD₄).₄C₂² = C₄².₄₀₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).4C2^2	128,216
(C₄xD₄).₅C₂² = C₄².₃₁₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).5C2^2	128,224
(C₄xD₄).₆C₂² = C₄².₃₀₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).6C2^2	128,226
(C₄xD₄).₇C₂² = C₄².₅₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).7C2^2	128,227
(C₄xD₄).₈C₂² = C₄².₅₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).8C2^2	128,228
(C₄xD₄).₉C₂² = C₈:₉D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).9C2^2	128,313
(C₄xD₄).₁₀C₂² = C₈:₁₅SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).10C2^2	128,315
(C₄xD₄).₁₁C₂² = D₄:₂M₄(2)	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).11C2^2	128,318
(C₄xD₄).₁₂C₂² = Q₈:₂M₄(2)	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).12C2^2	128,320
(C₄xD₄).₁₃C₂² = C₈:₆D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).13C2^2	128,321
(C₄xD₄).₁₄C₂² = C₈:₉SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).14C2^2	128,322
(C₄xD₄).₁₅C₂² = C₈:M₄(2)	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).15C2^2	128,324
(C₄xD₄).₁₆C₂² = C₈:₃M₄(2)	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).16C2^2	128,326
(C₄xD₄).₁₇C₂² = D₄:D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).17C2^2	128,351
(C₄xD₄).₁₈C₂² = Q₈:D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).18C2^2	128,353
(C₄xD₄).₁₉C₂² = D₄:SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).19C2^2	128,354
(C₄xD₄).₂₀C₂² = C₄².₁₈₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).20C2^2	128,356
(C₄xD₄).₂₁C₂² = D₄:₃D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).21C2^2	128,357
(C₄xD₄).₂₂C₂² = Q₈:₃D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).22C2^2	128,359
(C₄xD₄).₂₃C₂² = C₄².₁₈₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).23C2^2	128,360
(C₄xD₄).₂₄C₂² = D₄:₂SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).24C2^2	128,361
(C₄xD₄).₂₅C₂² = Q₈:₂SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).25C2^2	128,363
(C₄xD₄).₂₆C₂² = D₄:Q₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).26C2^2	128,364
(C₄xD₄).₂₇C₂² = C₄².₁₉₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).27C2^2	128,366
(C₄xD₄).₂₈C₂² = D₄.SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).28C2^2	128,367
(C₄xD₄).₂₉C₂² = D₄.₃Q₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).29C2^2	128,369
(C₄xD₄).₃₀C₂² = C₄².₁₉₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).30C2^2	128,370
(C₄xD₄).₃₁C₂² = D₄.D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).31C2^2	128,371
(C₄xD₄).₃₂C₂² = Q₈.D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).32C2^2	128,373
(C₄xD₄).₃₃C₂² = Q₈:₃SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).33C2^2	128,374
(C₄xD₄).₃₄C₂² = D₄.₅SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).34C2^2	128,375
(C₄xD₄).₃₅C₂² = D₄:₃Q₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).35C2^2	128,376
(C₄xD₄).₃₆C₂² = C₄².₂₀₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).36C2^2	128,378
(C₄xD₄).₃₇C₂² = D₄.₇D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).37C2^2	128,379
(C₄xD₄).₃₈C₂² = D₄:₄Q₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).38C2^2	128,381
(C₄xD₄).₃₉C₂² = C₄².₂₁₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).39C2^2	128,382
(C₄xD₄).₄₀C₂² = Q₈:₄SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).40C2^2	128,383
(C₄xD₄).₄₁C₂² = C₄².₂₁₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).41C2^2	128,384
(C₄xD₄).₄₂C₂² = D₄:₄SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).42C2^2	128,386
(C₄xD₄).₄₃C₂² = C₈:D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).43C2^2	128,417
(C₄xD₄).₄₄C₂² = C₈:₂D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).44C2^2	128,419
(C₄xD₄).₄₅C₂² = C₈.D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).45C2^2	128,421
(C₄xD₄).₄₆C₂² = C₈:₃SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).46C2^2	128,423
(C₄xD₄).₄₇C₂² = C₈:₄SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).47C2^2	128,425
(C₄xD₄).₄₈C₂² = C₈.₈SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).48C2^2	128,427
(C₄xD₄).₄₉C₂² = C₄².₂₄₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).49C2^2	128,429
(C₄xD₄).₅₀C₂² = C₄².₂₅₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).50C2^2	128,431
(C₄xD₄).₅₁C₂² = C₄².₂₅₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).51C2^2	128,433
(C₄xD₄).₅₂C₂² = C₄².₂₅₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).52C2^2	128,435
(C₄xD₄).₅₃C₂² = C₄².₂₆₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).53C2^2	128,1662
(C₄xD₄).₅₄C₂² = C₄².₂₆₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).54C2^2	128,1664
(C₄xD₄).₅₅C₂² = M₄(2):₂₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).55C2^2	128,1665
(C₄xD₄).₅₆C₂² = M₄(2):₂₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).56C2^2	128,1667
(C₄xD₄).₅₇C₂² = C₄².₂₇₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).57C2^2	128,1679
(C₄xD₄).₅₈C₂² = C₄².₂₇₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).58C2^2	128,1681
(C₄xD₄).₅₉C₂² = C₄².₂₈₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).59C2^2	128,1683
(C₄xD₄).₆₀C₂² = C₄².₂₈₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).60C2^2	128,1684
(C₄xD₄).₆₁C₂² = C₄².₂₉₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).61C2^2	128,1699
(C₄xD₄).₆₂C₂² = C₄².₂₉₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).62C2^2	128,1700
(C₄xD₄).₆₃C₂² = C₄².₂₉₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).63C2^2	128,1710
(C₄xD₄).₆₄C₂² = C₄².₃₀₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).64C2^2	128,1712
(C₄xD₄).₆₅C₂² = C₄².₃₀₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).65C2^2	128,1725
(C₄xD₄).₆₆C₂² = C₄².₃₁₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).66C2^2	128,1727
(C₄xD₄).₆₇C₂² = C₄².₁₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).67C2^2	128,1774
(C₄xD₄).₆₈C₂² = C₄².₁₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).68C2^2	128,1778
(C₄xD₄).₆₉C₂² = C₄².₂₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).69C2^2	128,1813
(C₄xD₄).₇₀C₂² = C₄².₂₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).70C2^2	128,1815
(C₄xD₄).₇₁C₂² = C₄².₂₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).71C2^2	128,1816
(C₄xD₄).₇₂C₂² = C₄².₃₈₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).72C2^2	128,1834
(C₄xD₄).₇₃C₂² = C₄².₂₂₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).73C2^2	128,1835
(C₄xD₄).₇₄C₂² = C₄².₄₅₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).74C2^2	128,1838
(C₄xD₄).₇₅C₂² = C₄².₂₂₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).75C2^2	128,1840
(C₄xD₄).₇₆C₂² = C₄².₂₂₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).76C2^2	128,1843
(C₄xD₄).₇₇C₂² = C₄².₂₃₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).77C2^2	128,1844
(C₄xD₄).₇₈C₂² = C₄².₂₃₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).78C2^2	128,1847
(C₄xD₄).₇₉C₂² = C₄².₂₃₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).79C2^2	128,1849
(C₄xD₄).₈₀C₂² = C₄².₃₅₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).80C2^2	128,1851
(C₄xD₄).₈₁C₂² = C₄².₃₅₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).81C2^2	128,1852
(C₄xD₄).₈₂C₂² = C₄².₃₅₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).82C2^2	128,1853
(C₄xD₄).₈₃C₂² = C₄².₃₅₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).83C2^2	128,1855
(C₄xD₄).₈₄C₂² = C₄².₃₅₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).84C2^2	128,1856
(C₄xD₄).₈₅C₂² = C₄².₃₅₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).85C2^2	128,1857
(C₄xD₄).₈₆C₂² = C₄².₃₆₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).86C2^2	128,1858
(C₄xD₄).₈₇C₂² = C₄².₃₆₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).87C2^2	128,1899
(C₄xD₄).₈₈C₂² = C₄².₃₀₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).88C2^2	128,1900
(C₄xD₄).₈₉C₂² = C₄².₃₆₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).89C2^2	128,1901
(C₄xD₄).₉₀C₂² = C₄².₂₅₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).90C2^2	128,1903
(C₄xD₄).₉₁C₂² = C₄².₂₅₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).91C2^2	128,1904
(C₄xD₄).₉₂C₂² = C₄².₃₈₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).92C2^2	128,1905
(C₄xD₄).₉₃C₂² = C₄².₃₈₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).93C2^2	128,1906
(C₄xD₄).₉₄C₂² = C₄².₃₈₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).94C2^2	128,1907
(C₄xD₄).₉₅C₂² = C₄².₃₈₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).95C2^2	128,1908
(C₄xD₄).₉₆C₂² = C₄².₃₉₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).96C2^2	128,1910
(C₄xD₄).₉₇C₂² = C₄².₃₉₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).97C2^2	128,1911
(C₄xD₄).₉₈C₂² = C₄².₂₅₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).98C2^2	128,1912
(C₄xD₄).₉₉C₂² = C₄².₂₅₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).99C2^2	128,1913
(C₄xD₄).₁₀₀C₂² = C₄².₂₅₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).100C2^2	128,1914
(C₄xD₄).₁₀₁C₂² = C₄².₂₆₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).101C2^2	128,1915
(C₄xD₄).₁₀₂C₂² = C₄².₂₆₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).102C2^2	128,1916
(C₄xD₄).₁₀₃C₂² = C₄².₂₆₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).103C2^2	128,1938
(C₄xD₄).₁₀₄C₂² = C₄².₂₆₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).104C2^2	128,1939
(C₄xD₄).₁₀₅C₂² = C₄².₂₇₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).105C2^2	128,1944
(C₄xD₄).₁₀₆C₂² = C₄².₂₇₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).106C2^2	128,1946
(C₄xD₄).₁₀₇C₂² = C₄².₂₇₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).107C2^2	128,1950
(C₄xD₄).₁₀₈C₂² = C₄².₂₇₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).108C2^2	128,1951
(C₄xD₄).₁₀₉C₂² = C₄².₄₀₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).109C2^2	128,1953
(C₄xD₄).₁₁₀C₂² = C₄².₄₁₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).110C2^2	128,1957
(C₄xD₄).₁₁₁C₂² = C₄².₂₇₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).111C2^2	128,1958
(C₄xD₄).₁₁₂C₂² = C₄².₂₇₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).112C2^2	128,1959
(C₄xD₄).₁₁₃C₂² = C₄².₂₈₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).113C2^2	128,1960
(C₄xD₄).₁₁₄C₂² = C₄².₂₈₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).114C2^2	128,1964
(C₄xD₄).₁₁₅C₂² = C₄².₂₈₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).115C2^2	128,1965
(C₄xD₄).₁₁₆C₂² = C₄².₂₈₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).116C2^2	128,1966
(C₄xD₄).₁₁₇C₂² = C₄².₂₈₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).117C2^2	128,1967
(C₄xD₄).₁₁₈C₂² = C₄².₂₉₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).118C2^2	128,1970
(C₄xD₄).₁₁₉C₂² = C₄².₂₉₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).119C2^2	128,1971
(C₄xD₄).₁₂₀C₂² = C₄².₂₉₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).120C2^2	128,1972
(C₄xD₄).₁₂₁C₂² = C₄².₄₂₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).121C2^2	128,1973
(C₄xD₄).₁₂₂C₂² = C₄².₄₂₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).122C2^2	128,1975
(C₄xD₄).₁₂₃C₂² = C₄².₄₂₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).123C2^2	128,1976
(C₄xD₄).₁₂₄C₂² = C₄².₂₉₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).124C2^2	128,1977
(C₄xD₄).₁₂₅C₂² = C₄².₂₉₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).125C2^2	128,1978
(C₄xD₄).₁₂₆C₂² = C₄².₂₉₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).126C2^2	128,1979
(C₄xD₄).₁₂₇C₂² = C₄².₂₉₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).127C2^2	128,1980
(C₄xD₄).₁₂₈C₂² = C₄².₂₉₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).128C2^2	128,1982
(C₄xD₄).₁₂₉C₂² = C₄².₂₉₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).129C2^2	128,1983
(C₄xD₄).₁₃₀C₂² = C₄².₃₀₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).130C2^2	128,1984
(C₄xD₄).₁₃₁C₂² = C₄².₃₀₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).131C2^2	128,1985
(C₄xD₄).₁₃₂C₂² = C₄².₃₀₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).132C2^2	128,1986
(C₄xD₄).₁₃₃C₂² = C₄².₃₀₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).133C2^2	128,1988
(C₄xD₄).₁₃₄C₂² = C₄.2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).134C2^2	128,1989
(C₄xD₄).₁₃₅C₂² = C₄².₂₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).135C2^2	128,1990
(C₄xD₄).₁₃₆C₂² = C₄².₂₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).136C2^2	128,1991
(C₄xD₄).₁₃₇C₂² = C₄².₂₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).137C2^2	128,1992
(C₄xD₄).₁₃₈C₂² = C₄².₂₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).138C2^2	128,1994
(C₄xD₄).₁₃₉C₂² = C₄².₃₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).139C2^2	128,1995
(C₄xD₄).₁₄₀C₂² = SD₁₆:D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).140C2^2	128,1997
(C₄xD₄).₁₄₁C₂² = SD₁₆:₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).141C2^2	128,1998
(C₄xD₄).₁₄₂C₂² = SD₁₆:₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).142C2^2	128,2000
(C₄xD₄).₁₄₃C₂² = SD₁₆:₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).143C2^2	128,2001
(C₄xD₄).₁₄₄C₂² = Q₁₆:₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).144C2^2	128,2002
(C₄xD₄).₁₄₅C₂² = Q₁₆:₁₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).145C2^2	128,2003
(C₄xD₄).₁₄₆C₂² = SD₁₆:₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).146C2^2	128,2006
(C₄xD₄).₁₄₇C₂² = SD₁₆:₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).147C2^2	128,2007
(C₄xD₄).₁₄₈C₂² = SD₁₆:₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).148C2^2	128,2008
(C₄xD₄).₁₄₉C₂² = Q₁₆:₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).149C2^2	128,2009
(C₄xD₄).₁₅₀C₂² = Q₁₆:₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).150C2^2	128,2010
(C₄xD₄).₁₅₁C₂² = D₈:₁₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).151C2^2	128,2015
(C₄xD₄).₁₅₂C₂² = C₄².₄₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).152C2^2	128,2039
(C₄xD₄).₁₅₃C₂² = C₄².₄₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).153C2^2	128,2040
(C₄xD₄).₁₅₄C₂² = C₄².₄₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).154C2^2	128,2041
(C₄xD₄).₁₅₅C₂² = C₄².₄₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).155C2^2	128,2042
(C₄xD₄).₁₅₆C₂² = C₄².₄₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).156C2^2	128,2043
(C₄xD₄).₁₅₇C₂² = C₄².₄₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).157C2^2	128,2044
(C₄xD₄).₁₅₈C₂² = C₄².₄₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).158C2^2	128,2045
(C₄xD₄).₁₅₉C₂² = C₄².₄₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).159C2^2	128,2046
(C₄xD₄).₁₆₀C₂² = C₄².₅₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).160C2^2	128,2047
(C₄xD₄).₁₆₁C₂² = C₄².₅₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).161C2^2	128,2048
(C₄xD₄).₁₆₂C₂² = C₄².₅₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).162C2^2	128,2049
(C₄xD₄).₁₆₃C₂² = C₄².₅₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).163C2^2	128,2052
(C₄xD₄).₁₆₄C₂² = C₄².₅₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).164C2^2	128,2053
(C₄xD₄).₁₆₅C₂² = C₄².₄₇₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).165C2^2	128,2055
(C₄xD₄).₁₆₆C₂² = C₄².₄₇₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).166C2^2	128,2056
(C₄xD₄).₁₆₇C₂² = C₄².₄₇₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).167C2^2	128,2058
(C₄xD₄).₁₆₈C₂² = C₄².₄₇₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).168C2^2	128,2059
(C₄xD₄).₁₆₉C₂² = C₄².₄₇₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).169C2^2	128,2060
(C₄xD₄).₁₇₀C₂² = C₄².₄₇₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).170C2^2	128,2061
(C₄xD₄).₁₇₁C₂² = C₄².₄₇₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).171C2^2	128,2062
(C₄xD₄).₁₇₂C₂² = C₄².₄₈₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).172C2^2	128,2063
(C₄xD₄).₁₇₃C₂² = C₄².₄₈₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).173C2^2	128,2064
(C₄xD₄).₁₇₄C₂² = C₄².₄₈₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).174C2^2	128,2065
(C₄xD₄).₁₇₅C₂² = C₄².₅₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).175C2^2	128,2075
(C₄xD₄).₁₇₆C₂² = C₄².₅₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).176C2^2	128,2076
(C₄xD₄).₁₇₇C₂² = C₄².₅₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).177C2^2	128,2077
(C₄xD₄).₁₇₈C₂² = C₄².₆₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).178C2^2	128,2078
(C₄xD₄).₁₇₉C₂² = C₄².₆₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).179C2^2	128,2079
(C₄xD₄).₁₈₀C₂² = C₄².₆₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).180C2^2	128,2080
(C₄xD₄).₁₈₁C₂² = C₄².₆₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).181C2^2	128,2081
(C₄xD₄).₁₈₂C₂² = C₄².₆₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).182C2^2	128,2082
(C₄xD₄).₁₈₃C₂² = C₄².₄₉₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).183C2^2	128,2083
(C₄xD₄).₁₈₄C₂² = C₄².₄₉₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).184C2^2	128,2084
(C₄xD₄).₁₈₅C₂² = C₄².₄₉₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).185C2^2	128,2085
(C₄xD₄).₁₈₆C₂² = C₄².₄₉₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).186C2^2	128,2086
(C₄xD₄).₁₈₇C₂² = C₄².₄₉₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).187C2^2	128,2087
(C₄xD₄).₁₈₈C₂² = C₄².₄₉₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).188C2^2	128,2088
(C₄xD₄).₁₈₉C₂² = C₄².₄₉₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).189C2^2	128,2089
(C₄xD₄).₁₉₀C₂² = Q₈:₄D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).190C2^2	128,2090
(C₄xD₄).₁₉₁C₂² = Q₈:₇SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).191C2^2	128,2091
(C₄xD₄).₁₉₂C₂² = C₄².₅₀₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).192C2^2	128,2092
(C₄xD₄).₁₉₃C₂² = C₄².₅₀₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).193C2^2	128,2093
(C₄xD₄).₁₉₄C₂² = Q₈:₈SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).194C2^2	128,2094
(C₄xD₄).₁₉₅C₂² = C₄².₅₀₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).195C2^2	128,2096
(C₄xD₄).₁₉₆C₂² = C₄².₅₀₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).196C2^2	128,2097
(C₄xD₄).₁₉₇C₂² = C₄².₅₀₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).197C2^2	128,2098
(C₄xD₄).₁₉₈C₂² = C₄².₅₀₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).198C2^2	128,2099
(C₄xD₄).₁₉₉C₂² = C₄².₅₀₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).199C2^2	128,2100
(C₄xD₄).₂₀₀C₂² = C₄².₅₁₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).200C2^2	128,2101
(C₄xD₄).₂₀₁C₂² = C₄².₅₁₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).201C2^2	128,2102
(C₄xD₄).₂₀₂C₂² = C₄².₅₁₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).202C2^2	128,2103
(C₄xD₄).₂₀₃C₂² = C₄².₅₁₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).203C2^2	128,2104
(C₄xD₄).₂₀₄C₂² = C₄².₅₁₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).204C2^2	128,2105
(C₄xD₄).₂₀₅C₂² = C₄².₅₁₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).205C2^2	128,2107
(C₄xD₄).₂₀₆C₂² = C₄².₅₁₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).206C2^2	128,2108
(C₄xD₄).₂₀₇C₂² = C₄².₅₁₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).207C2^2	128,2109
(C₄xD₄).₂₀₈C₂² = Q₈xD₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).208C2^2	128,2110
(C₄xD₄).₂₀₉C₂² = Q₈xSD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).209C2^2	128,2111
(C₄xD₄).₂₁₀C₂² = D₈:₆Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).210C2^2	128,2112
(C₄xD₄).₂₁₁C₂² = SD₁₆:₄Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).211C2^2	128,2113
(C₄xD₄).₂₁₂C₂² = D₈:₄Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).212C2^2	128,2116
(C₄xD₄).₂₁₃C₂² = SD₁₆:Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).213C2^2	128,2117
(C₄xD₄).₂₁₄C₂² = SD₁₆:₂Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).214C2^2	128,2118
(C₄xD₄).₂₁₅C₂² = SD₁₆:₃Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).215C2^2	128,2120
(C₄xD₄).₂₁₆C₂² = D₈:₅Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).216C2^2	128,2121
(C₄xD₄).₂₁₇C₂² = Q₈:₅D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).217C2^2	128,2123
(C₄xD₄).₂₁₈C₂² = Q₈:₉SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).218C2^2	128,2124
(C₄xD₄).₂₁₉C₂² = C₄².₅₂₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).219C2^2	128,2125
(C₄xD₄).₂₂₀C₂² = C₄².₅₂₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).220C2^2	128,2126
(C₄xD₄).₂₂₁C₂² = C₄².₅₃₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).221C2^2	128,2128
(C₄xD₄).₂₂₂C₂² = C₄².₇₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).222C2^2	128,2129
(C₄xD₄).₂₂₃C₂² = C₄².₇₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).223C2^2	128,2130
(C₄xD₄).₂₂₄C₂² = C₄².₇₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).224C2^2	128,2131
(C₄xD₄).₂₂₅C₂² = C₄².₇₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).225C2^2	128,2132
(C₄xD₄).₂₂₆C₂² = C₄².₅₃₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).226C2^2	128,2133
(C₄xD₄).₂₂₇C₂² = C₄².₅₃₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).227C2^2	128,2134
(C₄xD₄).₂₂₈C₂² = C₄².₅₃₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).228C2^2	128,2135
(C₄xD₄).₂₂₉C₂² = C₂².₇₅C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).229C2^2	128,2218
(C₄xD₄).₂₃₀C₂² = C₄:2_-¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).230C2^2	128,2229
(C₄xD₄).₂₃₁C₂² = C₂².₈₈C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).231C2^2	128,2231
(C₄xD₄).₂₃₂C₂² = C₂².₉₀C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).232C2^2	128,2233
(C₄xD₄).₂₃₃C₂² = C₂².₉₂C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).233C2^2	128,2235
(C₄xD₄).₂₃₄C₂² = C₂².₉₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).234C2^2	128,2236
(C₄xD₄).₂₃₅C₂² = C₂².₉₆C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).235C2^2	128,2239
(C₄xD₄).₂₃₆C₂² = C₂².₁₀₀C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).236C2^2	128,2243
(C₄xD₄).₂₃₇C₂² = C₂².₁₀₁C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).237C2^2	128,2244
(C₄xD₄).₂₃₈C₂² = C₂².₁₀₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).238C2^2	128,2247
(C₄xD₄).₂₃₉C₂² = C₂².₁₀₅C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).239C2^2	128,2248
(C₄xD₄).₂₄₀C₂² = C₂².₁₀₆C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).240C2^2	128,2249
(C₄xD₄).₂₄₁C₂² = C₂².₁₀₇C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).241C2^2	128,2250
(C₄xD₄).₂₄₂C₂² = C₂².₁₁₁C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).242C2^2	128,2254
(C₄xD₄).₂₄₃C₂² = C₂³.₁₄₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).243C2^2	128,2255
(C₄xD₄).₂₄₄C₂² = C₂².₁₁₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).244C2^2	128,2256
(C₄xD₄).₂₄₅C₂² = C₂².₁₂₀C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).245C2^2	128,2263
(C₄xD₄).₂₄₆C₂² = C₂².₁₂₇C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	32	(C4xD4).246C2^2	128,2270
(C₄xD₄).₂₄₇C₂² = C₂².₁₃₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).247C2^2	128,2276
(C₄xD₄).₂₄₈C₂² = C₂².₁₃₆C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).248C2^2	128,2279
(C₄xD₄).₂₄₉C₂² = C₂².₁₃₇C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).249C2^2	128,2280
(C₄xD₄).₂₅₀C₂² = C₂².₁₃₉C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).250C2^2	128,2282
(C₄xD₄).₂₅₁C₂² = C₂².₁₄₁C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).251C2^2	128,2284
(C₄xD₄).₂₅₂C₂² = C₂².₁₄₂C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).252C2^2	128,2285
(C₄xD₄).₂₅₃C₂² = C₂².₁₄₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).253C2^2	128,2286
(C₄xD₄).₂₅₄C₂² = C₂².₁₄₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).254C2^2	128,2287
(C₄xD₄).₂₅₅C₂² = C₂².₁₄₆C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).255C2^2	128,2289
(C₄xD₄).₂₅₆C₂² = C₂².₁₄₈C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).256C2^2	128,2291
(C₄xD₄).₂₅₇C₂² = C₂².₁₅₂C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).257C2^2	128,2295
(C₄xD₄).₂₅₈C₂² = C₂².₁₅₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).258C2^2	128,2297
(C₄xD₄).₂₅₉C₂² = C₂².₁₅₆C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₄xD₄	64	(C4xD4).259C2^2	128,2299
(C₄xD₄).₂₆₀C₂² = C₂xD₄:C₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).260C2^2	128,206
(C₄xD₄).₂₆₁C₂² = C₄².₄₅₅D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).261C2^2	128,208
(C₄xD₄).₂₆₂C₂² = C₄².₃₉₇D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).262C2^2	128,209
(C₄xD₄).₂₆₃C₂² = C₄².₃₉₈D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).263C2^2	128,210
(C₄xD₄).₂₆₄C₂² = D₄:M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).264C2^2	128,218
(C₄xD₄).₂₆₅C₂² = C₄².₃₇₄D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).265C2^2	128,220
(C₄xD₄).₂₆₆C₂² = D₄:₄M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).266C2^2	128,221
(C₄xD₄).₂₆₇C₂² = D₄:₅M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).267C2^2	128,222
(C₄xD₄).₂₆₈C₂² = C₈xD₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).268C2^2	128,307
(C₄xD₄).₂₆₉C₂² = C₈xSD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).269C2^2	128,308
(C₄xD₄).₂₇₀C₂² = SD₁₆:C₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).270C2^2	128,310
(C₄xD₄).₂₇₁C₂² = D₈:₅C₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).271C2^2	128,312
(C₄xD₄).₂₇₂C₂² = C₈:₁₂SD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).272C2^2	128,314
(C₄xD₄).₂₇₃C₂² = D₄.M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).273C2^2	128,317
(C₄xD₄).₂₇₄C₂² = C₈:₈D₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).274C2^2	128,397
(C₄xD₄).₂₇₅C₂² = C₈:₇D₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).275C2^2	128,399
(C₄xD₄).₂₇₆C₂² = C₈.₂₈D₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).276C2^2	128,401
(C₄xD₄).₂₇₇C₂² = C₈:₁₁SD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).277C2^2	128,403
(C₄xD₄).₂₇₈C₂² = C₈:₁₀SD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).278C2^2	128,405
(C₄xD₄).₂₇₉C₂² = D₄.₁Q₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).279C2^2	128,407
(C₄xD₄).₂₈₀C₂² = D₄.₂SD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).280C2^2	128,409
(C₄xD₄).₂₈₁C₂² = D₄.₃SD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).281C2^2	128,411
(C₄xD₄).₂₈₂C₂² = D₄.₂D₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).282C2^2	128,413
(C₄xD₄).₂₈₃C₂² = D₄.Q₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).283C2^2	128,415
(C₄xD₄).₂₈₄C₂² = C₂xC₈:₉D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).284C2^2	128,1659
(C₄xD₄).₂₈₅C₂² = C₂xC₈:₆D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).285C2^2	128,1660
(C₄xD₄).₂₈₆C₂² = C₄².₂₆₄C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).286C2^2	128,1661
(C₄xD₄).₂₈₇C₂² = C₄².₆₈₁C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).287C2^2	128,1663
(C₄xD₄).₂₈₈C₂² = C₂xC₄xSD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).288C2^2	128,1669
(C₄xD₄).₂₈₉C₂² = C₄xC₄oD₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).289C2^2	128,1671
(C₄xD₄).₂₉₀C₂² = C₂xSD₁₆:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).290C2^2	128,1672
(C₄xD₄).₂₉₁C₂² = C₄².₃₈₃D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).291C2^2	128,1675
(C₄xD₄).₂₉₂C₂² = C₄xC₈.C₂²	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).292C2^2	128,1677
(C₄xD₄).₂₉₃C₂² = C₄².₂₉₀C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).293C2^2	128,1697
(C₄xD₄).₂₉₄C₂² = C₄².₂₉₁C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).294C2^2	128,1698
(C₄xD₄).₂₉₅C₂² = C₄².₂₉₄C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).295C2^2	128,1701
(C₄xD₄).₂₉₆C₂² = D₄:₆M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).296C2^2	128,1702
(C₄xD₄).₂₉₇C₂² = Q₈:₆M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).297C2^2	128,1703
(C₄xD₄).₂₉₈C₂² = C₂³:₃M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).298C2^2	128,1705
(C₄xD₄).₂₉₉C₂² = C₄².₆₉₃C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).299C2^2	128,1707
(C₄xD₄).₃₀₀C₂² = C₄².₂₉₇C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).300C2^2	128,1708
(C₄xD₄).₃₀₁C₂² = C₄².₂₉₈C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).301C2^2	128,1709
(C₄xD₄).₃₀₂C₂² = C₄².₆₉₄C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).302C2^2	128,1711
(C₄xD₄).₃₀₃C₂² = C₄².₃₀₁C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).303C2^2	128,1713
(C₄xD₄).₃₀₄C₂² = C₄².₆₉₈C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).304C2^2	128,1721
(C₄xD₄).₃₀₅C₂² = Q₈:₇M₄(2)	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).305C2^2	128,1723
(C₄xD₄).₃₀₆C₂² = C₄².₃₀₇C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).306C2^2	128,1724
(C₄xD₄).₃₀₇C₂² = C₄².₃₀₉C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).307C2^2	128,1726
(C₄xD₄).₃₀₈C₂² = C₂xD₄.D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).308C2^2	128,1762
(C₄xD₄).₃₀₉C₂² = C₄².₄₄₃D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).309C2^2	128,1767
(C₄xD₄).₃₁₀C₂² = C₄².₂₁₁D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).310C2^2	128,1768
(C₄xD₄).₃₁₁C₂² = C₄².₄₄₅D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).311C2^2	128,1771
(C₄xD₄).₃₁₂C₂² = C₂xD₄:Q₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).312C2^2	128,1802
(C₄xD₄).₃₁₃C₂² = C₂xD₄:₂Q₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).313C2^2	128,1803
(C₄xD₄).₃₁₄C₂² = C₂xD₄.Q₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).314C2^2	128,1804
(C₄xD₄).₃₁₅C₂² = C₄².₄₄₇D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).315C2^2	128,1808
(C₄xD₄).₃₁₆C₂² = C₄².₂₁₉D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).316C2^2	128,1809
(C₄xD₄).₃₁₇C₂² = C₄².₄₄₈D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).317C2^2	128,1811
(C₄xD₄).₃₁₈C₂² = C₄².₄₄₉D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).318C2^2	128,1812
(C₄xD₄).₃₁₉C₂² = C₄².₂₂₂D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).319C2^2	128,1833
(C₄xD₄).₃₂₀C₂² = C₄².₄₅₁D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).320C2^2	128,1839
(C₄xD₄).₃₂₁C₂² = C₄².₂₂₈D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).321C2^2	128,1842
(C₄xD₄).₃₂₂C₂² = C₄².₂₃₄D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).322C2^2	128,1848
(C₄xD₄).₃₂₃C₂² = D₄xSD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).323C2^2	128,2013
(C₄xD₄).₃₂₄C₂² = SD₁₆:₁₀D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).324C2^2	128,2014
(C₄xD₄).₃₂₅C₂² = SD₁₆:₁₁D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).325C2^2	128,2016
(C₄xD₄).₃₂₆C₂² = Q₁₆:₁₂D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).326C2^2	128,2017
(C₄xD₄).₃₂₇C₂² = D₄xQ₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).327C2^2	128,2018
(C₄xD₄).₃₂₈C₂² = Q₁₆:₁₃D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).328C2^2	128,2019
(C₄xD₄).₃₂₉C₂² = D₄:₇SD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).329C2^2	128,2027
(C₄xD₄).₃₃₀C₂² = C₄².₄₆₁C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	32	(C4xD4).330C2^2	128,2028
(C₄xD₄).₃₃₁C₂² = D₄:₈SD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).331C2^2	128,2030
(C₄xD₄).₃₃₂C₂² = D₄:₅Q₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).332C2^2	128,2031
(C₄xD₄).₃₃₃C₂² = C₄².₄₆₅C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).333C2^2	128,2032
(C₄xD₄).₃₃₄C₂² = C₄².₄₆₆C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).334C2^2	128,2033
(C₄xD₄).₃₃₅C₂² = C₄².₄₆₇C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).335C2^2	128,2034
(C₄xD₄).₃₃₆C₂² = C₄².₄₆₈C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).336C2^2	128,2035
(C₄xD₄).₃₃₇C₂² = C₄².₄₆₉C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).337C2^2	128,2036
(C₄xD₄).₃₃₈C₂² = C₄².₄₇₀C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).338C2^2	128,2037
(C₄xD₄).₃₃₉C₂² = D₄:₅D₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).339C2^2	128,2066
(C₄xD₄).₃₄₀C₂² = D₄:₉SD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).340C2^2	128,2067
(C₄xD₄).₃₄₁C₂² = C₄².₄₈₅C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).341C2^2	128,2068
(C₄xD₄).₃₄₂C₂² = C₄².₄₈₆C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).342C2^2	128,2069
(C₄xD₄).₃₄₃C₂² = D₄:₆Q₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).343C2^2	128,2070
(C₄xD₄).₃₄₄C₂² = C₄².₄₈₈C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).344C2^2	128,2071
(C₄xD₄).₃₄₅C₂² = C₄².₄₈₉C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).345C2^2	128,2072
(C₄xD₄).₃₄₆C₂² = C₄².₄₉₀C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).346C2^2	128,2073
(C₄xD₄).₃₄₇C₂² = C₄².₄₉₁C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).347C2^2	128,2074
(C₄xD₄).₃₄₈C₂² = C₄x2_-¹⁺⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).348C2^2	128,2162
(C₄xD₄).₃₄₉C₂² = C₂².₅₀C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).349C2^2	128,2193
(C₄xD₄).₃₅₀C₂² = C₂xD₄xQ₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).350C2^2	128,2198
(C₄xD₄).₃₅₁C₂² = C₂xC₂².₄₆C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).351C2^2	128,2202
(C₄xD₄).₃₅₂C₂² = C₂xD₄:₃Q₈	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).352C2^2	128,2204
(C₄xD₄).₃₅₃C₂² = C₂xC₂².₅₀C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).353C2^2	128,2206
(C₄xD₄).₃₅₄C₂² = Q₈xC₄oD₄	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).354C2^2	128,2210
(C₄xD₄).₃₅₅C₂² = C₂².₆₉C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).355C2^2	128,2212
(C₄xD₄).₃₅₆C₂² = C₂².₇₁C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).356C2^2	128,2214
(C₄xD₄).₃₅₇C₂² = C₂².₇₂C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).357C2^2	128,2215
(C₄xD₄).₃₅₈C₂² = C₂².₉₈C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₄xD₄	64	(C4xD4).358C2^2	128,2241
(C₄xD₄).₃₅₉C₂² = D₄xC₂xC₈	φ: trivial image	64	(C4xD4).359C2^2	128,1658
(C₄xD₄).₃₆₀C₂² = D₄xM₄(2)	φ: trivial image	32	(C4xD4).360C2^2	128,1666
(C₄xD₄).₃₆₁C₂² = C₈xC₄oD₄	φ: trivial image	64	(C4xD4).361C2^2	128,1696
(C₄xD₄).₃₆₂C₂² = C₄².₆₉₁C₂³	φ: trivial image	32	(C4xD4).362C2^2	128,1704
(C₄xD₄).₃₆₃C₂² = D₄:₇M₄(2)	φ: trivial image	32	(C4xD4).363C2^2	128,1706
(C₄xD₄).₃₆₄C₂² = C₄².₆₉₇C₂³	φ: trivial image	64	(C4xD4).364C2^2	128,1720
(C₄xD₄).₃₆₅C₂² = D₄:₈M₄(2)	φ: trivial image	64	(C4xD4).365C2^2	128,1722

Extensions 1→N→G→Q→1 with N=C4xD4 and Q=C22

Extensions 1→N→G→Q→1 with N=C₄xD₄ and Q=C₂²